Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

Source URL: canbaskent.net

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

Source URL: ceur-ws.org

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

Source URL: canbaskent.net

Verification of Modifies Clauses in Dynamic Logic with Non-rigid Functions Christian Engel1 , Andreas Roth2 , Peter H. Schmitt1 , and Benjamin Weiß1 1 2

Source URL: i12www.iti.kit.edu

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs Andr´e Platzer April 2011 CMU-CS

Source URL: reports-archive.adm.cs.cmu.edu

Fully Reliable Dynamic Routing Logic for a Fault-Tolerant NoC Architecture Alhussien, Verbeek, Gastel, Bagherzadeh & Schmaltz   Fully Reliable Dynamic Routing Logic for a

Source URL: www.sbmicro.org.br

Quantified Differential Dynamic Logic for Distributed Hybrid Systems Andr´e Platzer May 2010 CMU-CS

Source URL: reports-archive.adm.cs.cmu.edu

Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

Source URL: i12www.iti.kit.edu

Single-Pass List Partitioning Leonor Frias ∗ Universitat Polit`ecnica de Catalunya Dep. de Llenguatges i Sistemes Inform`atics Jordi Girona Salgado, Barcelona, Spain

Source URL: algo2.iti.kit.edu

• Mathematics
• Computational complexity theory
• Dynamic programming
• Discrete mathematics
• Combinatorics
• Analysis of algorithms
• Algorithm
• Mathematical logic
• Theoretical computer science
• Time complexity
• FisherYates shuffle
• Longest increasing subsequence